language (LCS) A concurrent SML by Bernard Berthomieu

with behaviours and processes, based upon higher orderCCS. LCS is implemented as a bytecode interpreter and runs

on Sun SPARC, SGI MIPS, and Linux.